321. Formal Methods and Software Engineering
پدیدآورنده : \ edited by Michael Butler, Sylvain Conchon, Fatiha Zaïdi.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science.,Computer networks.,Computer programming.,علوم کامپیوتر,شبکههای رایانه ای ,برنامهنویسی
رده :
QA75
.
5
.
F61
2015
E-Book
,
322. Formal Methods and Software Engineering
پدیدآورنده : / Toshiaki Aoki, Kenji Taguchi
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
323. Formal Methods and Software Engineering
پدیدآورنده : / Stephan Merz, Jun Pang
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
324. Formal Methods and Software Engineering
پدیدآورنده : / Shengchao Qin, Zongyan Qiu
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
325. Formal foundations for software engineering methods
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Software engineering. ;
326. Formal foundations for software engineering methods
پدیدآورنده : Hussmann, Heinrich, 9591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Software engineering
رده :
QA
76
.
L28
Vol
.
1322
327. Formal methods and software engineering :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Formal methods (Computer science) ; Congresses. ;
328. Formal methods and software engineering. 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. proceedings
پدیدآورنده : ]edited by[ Shengchao Qin, Zongyan Qiu
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، software engineering
329. Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
پدیدآورنده : / Kung-Kiu Lau, Richard Banach (eds.),Portion of Title:7th International Conference on Formal Engineering Methods.
کتابخانه: Imam Reza International University library and information center (Khorasan Razavi)
موضوع : Formal methods (Computer science)--Congresses,Software engineering--Congresses
رده :
QA76
.
9
.
F67
I57
330. Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
پدیدآورنده : Kung-Kiu Lau, Richard Banach )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3785
331. Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
پدیدآورنده : Jim Davies, Wolfram Schulte, Mike Barnett )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3308
332. Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings
پدیدآورنده : Chris George, Huaikou Miao )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2495
333. Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings
پدیدآورنده : Jin Song Dong, Jim Woodcock )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2885
334. Formal methods in databases and software engineering
پدیدآورنده : V.S.Alagar,Lak V.S.Lakshmann,F.Sadri
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Databases,Software engineering
رده :
QA
76
.
9
.
D32
1993
335. Formal methods in databases and software engineering
پدیدآورنده : V.S.Alagar,Lak V.S.Lakshmann,F.Sadri
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع : Databases,Software engineering
رده :
QA
76
.
9
.
D32
1993
336. Foundations of software engineering
پدیدآورنده : Ahmed, Ashfaque
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Software engineering
رده :
QA
76
.
758
.
A398
2016
337. Fourth IEEE International Symposium and Forum on Software Engineering Standards ]ISESS'99[: ]Best software practices for the internet age[: Curitiba, Brazil, May 17-21, 1999
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Standards-- Congresses ، Software engineering
رده :
QA
76
.
758
.
S648
1999
338. Fourth IEEE International Symposium and Forum on Software Engineering Standards : proceedings
پدیدآورنده : sponsored by IEEE Computer Society Technical Council on Software Engineering, in association witn IEEE Software Engineering Standards Committee ... ]et al.[
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Standards ، Software engineering
رده :
QA
76
.
758
.
I44
1999
339. Fourth IEEE International Symposium and Forumon : Software Engineering Standards
پدیدآورنده : IEEE International Sym Posium and Forumon )4th: 9991: Curitiba, Brazi(
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Compurer Engineering,، Computer Software
رده :
QA
76
.
755
/F6